Fix x86-64 build.

Signed-off-by: James Bulpin <james@xensource.com>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 6f48b62bdc83f50e5dfb440de311d850137de935..c820368e837bf135b42e70a102698c2492aab79a 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -255,6 +255,9 @@ void arch_do_createdomain(struct vcpu *v)
     struct domain *d = v->domain;
     l1_pgentry_t gdt_l1e;
     int vcpuid, pdpt_order;
+#ifdef __x86_64__
+    int i;
+#endif
 
     if ( is_idle_task(d) )
         return;